#!/bin/sh
cd ${0%/*} || exit 1    # run from this directory

rm -rf latex man html
rm -f *~

# ----------------------------------------------------------------- end-of-file
